Paraconsistent resolution
نویسندگان
چکیده
Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize and we identify a subset of well-behaved semikernels that provides nontrivial models inconsistent theories, specializing the semantics consistent ones. Direct (instead refutational) reasoning resolution is sound complete this semantics, when augmented specific weakening which, in particular, excludes Ex Falso. Dropping all forms yields which also avoids typical fallacies relevance.
منابع مشابه
Paraconsistent Resolution for Four-valued Description Logics
In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make anyALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valuedALC. Our approach can be...
متن کاملA Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning
A family of unit resolution-based paraconsistent inference relations `Σ for propositional logic in the clausal case is introduced. Parameter Σ is any consistent set of clauses representing the beliefs which are intended to be exploited through full deduction, i.e., every classical consequence of Σ must be kept w.r.t. `Σ, whatever the belief base B. Contrariwise to many paraconsistent inference ...
متن کاملParaconsistent Assertions
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion. We argue that paraconsistent logics are especially advantageous in order to deal with assertions made by intelligent agents. Other propositional attitudes like knowledge and beliefs can in principle be treated...
متن کاملParaconsistent Logic
In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that ther...
متن کاملParaconsistent Logics!
In this note I respond to Hartley Slater's argument [12] to the e ect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent logics is merely a subcontrary forming operator and not one which forms contradictories. I will show that Slater's argument fails, for two distinct reasons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2022
ISSN: ['1448-5052']
DOI: https://doi.org/10.26686/ajl.v19i3.6471